Temporal logic - PDFSEARCH.IO - Document Search Engine

Temporal logic
Results: 715

#	Item
71	Interpreting Translation-Invariant Wavelet Shrinkage as A New Image Smoothing Scale Space Antonin Chambolle1 and Bradley J. Lucier2 (Senior Member, IEEE ) Abstract Coifman and Donoho suggested translation-invariant wavel Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2000-09-04 23:06:14 Operator theory Signal processing Timefrequency analysis Functional analysis Wavelets Contraction Heat equation Discrete wavelet transform Operator Limit Differential forms on a Riemann surface Linear temporal logic
72	Logical Circuit Filtering Dafna Shahaf and Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,eyal}@uiuc.edu Add to Reading List Source URL: www.cs.huji.ac.il Language: English - Date: 2010-08-28 23:41:03 Logic programming Filter theory Logic in computer science Knowledge representation Formal languages Situation calculus Fluent Well-formed formula FO Filter Frame problem Linear temporal logic
73	A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking Julia Lawall (University of Copenhagen) Joint work with Add to Reading List Source URL: coccinelle.lip6.fr Language: English C Struct Sizeof Stat C++ classes Coccinelle
74	Computational Modeling, Formal Analysis, and Tools for Systems Biology Add to Reading List Source URL: www.eziobartocci.com Language: English - Date: 2016-02-05 19:02:40 Bioinformatics Scientific modeling Models of computation Systems biology Concurrency Computational biology Linear temporal logic Model checking Agent-based model Gene regulatory network Construction and Analysis of Distributed Processes Petri net
75	Reasoning About Past Events in Context-Aware Middleware Eline Philips, Christophe Scholliers,Charlotte Herzeel and Stijn Mostinckx {ephilips, cfscholl, caherzee, smostinc}@vub.ac.be Programming Technology Lab Vrije Unive Add to Reading List Source URL: soft.vub.ac.be Language: English - Date: 2008-03-06 09:34:02 Context-aware pervasive systems Ubiquitous computing Temporal logic Aspect-oriented software development Framing
76	Microsoft Word - CTL_Proposal_For_State_Of_Maine_RFP_201210412 Add to Reading List Source URL: education.vermont.gov Language: English - Date: 2014-12-19 13:27:00 Temporal logic Logic in computer science
77	CUBULATING HYPERBOLIC FREE-BY-CYCLIC GROUPS: THE IRREDUCIBLE CASE MARK F. HAGEN AND DANIEL T. WISE Abstract. Let V be a nite graph and let φ : V → V be an irreducible train track map whose mapping torus has word-hype Add to Reading List Source URL: www.wescac.net Language: English - Date: 2015-08-17 19:52:03 Geometric group theory Geometric topology Train track map Free group Universal property Dynamical system Fiber bundle Orbifold Linear temporal logic
78	NXP PowerPoint template Guidelines for presentations Add to Reading List Source URL: www.yourcreativesolutions.nl Language: English - Date: 2011-09-09 16:28:00 Model checkers Theoretical computer science Crime prevention Cryptography National security Model checking NuSMV Formal methods Common Criteria Temporal logic Computer security Authentication
79	A Generic Software Safety Document Generator Ewen Denney1 and Ram Prasad Venkatesan?,2 1 2 Add to Reading List Source URL: ti.arc.nasa.gov Language: English Formal methods Theoretical computer science IP Integration by substitution Hoare logic Substitution Mathematical proof KeY Predicate transformer semantics Verification condition generator Initialization Linear temporal logic
80	Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases Christian Muise, Tim Miller, Paolo Felli, Adrian R. Pearce, Liz Sonenberg Department of Computing and Information Systems, University of Melbourne {ch Add to Reading List Source URL: www.haz.ca Language: English - Date: 2015-02-22 18:34:09 IP Symbol Mathematical logic Distribution Model theory Constructible universe Modal logic Craig interpolation Linear temporal logic